Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·1h
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·18h
Calculus Made Easy
calculusmadeeasy.org·15h
Dates and Times in DH An annotated application profile of ISO 8601:2019 for use with TEI and other DH systems
wwp.neu.edu·6h
Making a Language
thunderseethe.dev·8h
Free papers, get your free papers here!
esat.kuleuven.be·11h
The Example
lesswrong.com·2d
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·18h
Problem Solving
denvaar.dev·1d
Introducing Names: practical namespaces for Emacs-Lisp
endlessparentheses.com·17h
Subterms Modulo Theories I
philipzucker.com·3d
Loading...Loading more...